$\forall$$R$:es\_realizer\{i:l\}. R{-}Feasible\{i:l\}($R$) $\in$ Prop$_{\mbox{\scriptsize i'}}$